Integrand size = 15, antiderivative size = 90 \[ \int \cot (x) \sqrt {a+b \cot ^4(x)} \, dx=\frac {1}{2} \sqrt {b} \text {arctanh}\left (\frac {\sqrt {b} \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )+\frac {1}{2} \sqrt {a+b} \text {arctanh}\left (\frac {a-b \cot ^2(x)}{\sqrt {a+b} \sqrt {a+b \cot ^4(x)}}\right )-\frac {1}{2} \sqrt {a+b \cot ^4(x)} \]
[Out]
Time = 0.17 (sec) , antiderivative size = 90, normalized size of antiderivative = 1.00, number of steps used = 8, number of rules used = 7, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.467, Rules used = {3751, 1262, 749, 858, 223, 212, 739} \[ \int \cot (x) \sqrt {a+b \cot ^4(x)} \, dx=\frac {1}{2} \sqrt {b} \text {arctanh}\left (\frac {\sqrt {b} \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )+\frac {1}{2} \sqrt {a+b} \text {arctanh}\left (\frac {a-b \cot ^2(x)}{\sqrt {a+b} \sqrt {a+b \cot ^4(x)}}\right )-\frac {1}{2} \sqrt {a+b \cot ^4(x)} \]
[In]
[Out]
Rule 212
Rule 223
Rule 739
Rule 749
Rule 858
Rule 1262
Rule 3751
Rubi steps \begin{align*} \text {integral}& = -\text {Subst}\left (\int \frac {x \sqrt {a+b x^4}}{1+x^2} \, dx,x,\cot (x)\right ) \\ & = -\left (\frac {1}{2} \text {Subst}\left (\int \frac {\sqrt {a+b x^2}}{1+x} \, dx,x,\cot ^2(x)\right )\right ) \\ & = -\frac {1}{2} \sqrt {a+b \cot ^4(x)}-\frac {1}{2} \text {Subst}\left (\int \frac {a-b x}{(1+x) \sqrt {a+b x^2}} \, dx,x,\cot ^2(x)\right ) \\ & = -\frac {1}{2} \sqrt {a+b \cot ^4(x)}+\frac {1}{2} b \text {Subst}\left (\int \frac {1}{\sqrt {a+b x^2}} \, dx,x,\cot ^2(x)\right )-\frac {1}{2} (a+b) \text {Subst}\left (\int \frac {1}{(1+x) \sqrt {a+b x^2}} \, dx,x,\cot ^2(x)\right ) \\ & = -\frac {1}{2} \sqrt {a+b \cot ^4(x)}-\frac {1}{2} (-a-b) \text {Subst}\left (\int \frac {1}{a+b-x^2} \, dx,x,\frac {a-b \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )+\frac {1}{2} b \text {Subst}\left (\int \frac {1}{1-b x^2} \, dx,x,\frac {\cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right ) \\ & = \frac {1}{2} \sqrt {b} \text {arctanh}\left (\frac {\sqrt {b} \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )+\frac {1}{2} \sqrt {a+b} \text {arctanh}\left (\frac {a-b \cot ^2(x)}{\sqrt {a+b} \sqrt {a+b \cot ^4(x)}}\right )-\frac {1}{2} \sqrt {a+b \cot ^4(x)} \\ \end{align*}
Time = 0.19 (sec) , antiderivative size = 86, normalized size of antiderivative = 0.96 \[ \int \cot (x) \sqrt {a+b \cot ^4(x)} \, dx=\frac {1}{2} \left (\sqrt {b} \text {arctanh}\left (\frac {\sqrt {b} \cot ^2(x)}{\sqrt {a+b \cot ^4(x)}}\right )+\sqrt {a+b} \text {arctanh}\left (\frac {a-b \cot ^2(x)}{\sqrt {a+b} \sqrt {a+b \cot ^4(x)}}\right )-\sqrt {a+b \cot ^4(x)}\right ) \]
[In]
[Out]
Time = 0.24 (sec) , antiderivative size = 139, normalized size of antiderivative = 1.54
method | result | size |
derivativedivides | \(-\frac {\sqrt {b \left (\cot \left (x \right )^{2}+1\right )^{2}-2 b \left (\cot \left (x \right )^{2}+1\right )+a +b}}{2}+\frac {\sqrt {b}\, \ln \left (\frac {b \left (\cot \left (x \right )^{2}+1\right )-b}{\sqrt {b}}+\sqrt {b \left (\cot \left (x \right )^{2}+1\right )^{2}-2 b \left (\cot \left (x \right )^{2}+1\right )+a +b}\right )}{2}+\frac {\sqrt {a +b}\, \ln \left (\frac {2 a +2 b -2 b \left (\cot \left (x \right )^{2}+1\right )+2 \sqrt {a +b}\, \sqrt {b \left (\cot \left (x \right )^{2}+1\right )^{2}-2 b \left (\cot \left (x \right )^{2}+1\right )+a +b}}{\cot \left (x \right )^{2}+1}\right )}{2}\) | \(139\) |
default | \(-\frac {\sqrt {b \left (\cot \left (x \right )^{2}+1\right )^{2}-2 b \left (\cot \left (x \right )^{2}+1\right )+a +b}}{2}+\frac {\sqrt {b}\, \ln \left (\frac {b \left (\cot \left (x \right )^{2}+1\right )-b}{\sqrt {b}}+\sqrt {b \left (\cot \left (x \right )^{2}+1\right )^{2}-2 b \left (\cot \left (x \right )^{2}+1\right )+a +b}\right )}{2}+\frac {\sqrt {a +b}\, \ln \left (\frac {2 a +2 b -2 b \left (\cot \left (x \right )^{2}+1\right )+2 \sqrt {a +b}\, \sqrt {b \left (\cot \left (x \right )^{2}+1\right )^{2}-2 b \left (\cot \left (x \right )^{2}+1\right )+a +b}}{\cot \left (x \right )^{2}+1}\right )}{2}\) | \(139\) |
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 252 vs. \(2 (72) = 144\).
Time = 0.45 (sec) , antiderivative size = 1063, normalized size of antiderivative = 11.81 \[ \int \cot (x) \sqrt {a+b \cot ^4(x)} \, dx=\text {Too large to display} \]
[In]
[Out]
\[ \int \cot (x) \sqrt {a+b \cot ^4(x)} \, dx=\int \sqrt {a + b \cot ^{4}{\left (x \right )}} \cot {\left (x \right )}\, dx \]
[In]
[Out]
\[ \int \cot (x) \sqrt {a+b \cot ^4(x)} \, dx=\int { \sqrt {b \cot \left (x\right )^{4} + a} \cot \left (x\right ) \,d x } \]
[In]
[Out]
Leaf count of result is larger than twice the leaf count of optimal. 204 vs. \(2 (72) = 144\).
Time = 0.30 (sec) , antiderivative size = 204, normalized size of antiderivative = 2.27 \[ \int \cot (x) \sqrt {a+b \cot ^4(x)} \, dx=-\frac {b \arctan \left (-\frac {\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}}{\sqrt {-b}}\right )}{\sqrt {-b}} - \frac {1}{2} \, \sqrt {a + b} \log \left ({\left | -{\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )} {\left (a + b\right )} + \sqrt {a + b} b \right |}\right ) - \frac {{\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )} b - \sqrt {a + b} b}{{\left (\sqrt {a + b} \sin \left (x\right )^{2} - \sqrt {a \sin \left (x\right )^{4} + b \sin \left (x\right )^{4} - 2 \, b \sin \left (x\right )^{2} + b}\right )}^{2} - b} \]
[In]
[Out]
Timed out. \[ \int \cot (x) \sqrt {a+b \cot ^4(x)} \, dx=\int \mathrm {cot}\left (x\right )\,\sqrt {b\,{\mathrm {cot}\left (x\right )}^4+a} \,d x \]
[In]
[Out]